proof of program correctness
- 基础释义 纠错
- 释义
程序正确性证明
- 双语例句 更多例句
-
1、
-
2、
model and algorithm designing of the proof of program correctness based on xml syntax trees
基于语法树的程序正确性验证模型及算法设计
来源：互联网摘选 -
3、
A Developing Method of Programs Based on the Proof Theory of Program Correctness
一种基于程序正确性证明理论的程序开发方法
来源：互联网摘选
- 相关词组
- transformation of drug 药物转化
- king of the hill 山丘之王;占山为王;一家之主;山大王;占山为王模式
- at the word of command 一声令下;一听到命令声
- The Family of Man 人类大家庭;人类一家
- guards of honour n.仪仗队
- axis of rotation 转动轴;旋转轴;自转轴;
- Pirates of Treasure Island 金银岛海盗
- Conference of Heads of State and Government of Non-Aligned Countries 不结盟国家国家国家元首和政府首脑会议
- without a blink of qualm 不在乎,很镇静
- infection of external auditory meatus 外耳道感染
- 相关阅读
-
Jesse Metcalfe 现身纽约时装周魅力不减当年
瑞鸿网 · 双语娱乐资讯
-
高考英语阅读理解真题158(含答案解析)
瑞鸿网 · 高考英语
-
超模凯雅·格伯和《猫王》演员奥斯汀·巴特勒分手了！
瑞鸿网 · 双语娱乐资讯
-
Olivia Rodrigo红色战袍杀疯智利场，迪士尼甜妹秒变辣妹教父！
瑞鸿网 · 双语娱乐资讯
-
赞达亚与荷兰弟 Tom Holland 订婚啦！
瑞鸿网 · 双语娱乐资讯
-
卡妹Camila Cabello与亿万富翁男友高调撒糖，与匠妹萌德的爱恨情仇终于画上句号？
瑞鸿网 · 双语娱乐资讯